Integral tan^-1 x